$e$ sends $a$ to $i$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$${\it e'}$:E. loc(${\it e'}$) $=$ $i$ \& ${\it e'}$ receives $a$ \& sender(${\it e'}$) $=$ $e$